/LMAR=0/XLINE=3/FONT#0=BASL30/FONT#1=BASI30/FONT#2=BASB30/FONT#4=NGB25/FONT#5=STA200
␈↓ ↓H␈↓␈↓¬S␈↓∧ Artificial Intelligence Laboratory, STANFORD UNIVERSITY, Stanford, California 94305


␈↓ ↓H␈↓∧Telephone 415-497-1391␈↓ 	TDecember 25, 1975
␈↓ ↓H␈↓∧or  415-497-4971



␈↓ ↓H␈↓Professor Meier Weinstein
␈↓ ↓H␈↓Information Sciences Department
␈↓ ↓H␈↓286-80
␈↓ ↓H␈↓California Institute of Technology
␈↓ ↓H␈↓Pasadena, California 91109

␈↓ ↓H␈↓Dear Meier,

␈↓ ↓H␈↓Greetings!  I hope this quarter has been a productive one for you.

␈↓ ↓H␈↓I␈α
managed␈α
to␈α
get␈α
the␈α∞Goldsteins'␈α
tape␈α
out␈α
of␈α
the␈α
Soviet␈α∞Union,␈α
and␈α
the␈α
local␈α
Council␈α∞on␈α
Soviet
␈↓ ↓H␈↓Jewery␈α∞is␈α∞distributing␈α∞copies␈α∞of␈α∞it.␈α∞ No␈α∞doubt␈α∞you've␈α∞heard␈α∞that␈α∞Isai␈α∞was␈α∞drafted;␈α∞please␈α∂let␈α∞me
␈↓ ↓H␈↓know if you learn the outcome of that crisis.

␈↓ ↓H␈↓As␈α
you␈αmay␈α
recall,␈αI'm␈α
a␈αfourth-year␈α
grad␈α
student␈αin␈α
Stanford's␈αCS␈α
department.␈αI␈α
expect␈αto␈α
receive
␈↓ ↓H␈↓my␈αPh.D.␈αby␈αnext␈αFall.␈α For␈αmy␈αdissertation,␈αI've␈αbeen␈αworking␈αon␈αa␈αprogram␈αwhich␈αcan␈αdevelop
␈↓ ↓H␈↓simple␈αmathematical␈αconcepts,␈αwhich␈αaims␈αat␈αexpertise␈αin␈αtheorem␈α␈↓↓proposing␈↓␈αrather␈αthan␈αtheorem
␈↓ ↓H␈↓␈↓↓proving␈↓.␈α It␈αuses␈α
skills␈αfrom␈α␈↓↓automatic␈α
programming␈↓␈αto␈αtackle␈αa␈α
␈↓↓theory␈αformation␈↓␈αtask.␈α
An␈αabstract
␈↓ ↓H␈↓of the project is enclosed.

␈↓ ↓H␈↓My␈α
committee␈αconsists␈α
of␈αEd␈α
Feigenbaum,␈αCordell␈α
Green,␈α
Bruce␈αBuchanan,␈α
and␈αDon␈α
Knuth.␈αI␈α
am
␈↓ ↓H␈↓interested␈α
in␈α
a␈α
faculty␈α∞position␈α
for␈α
next␈α
year,␈α
and␈α∞would␈α
welcome␈α
the␈α
opportunity␈α
to␈α∞discuss␈α
the
␈↓ ↓H␈↓matter␈αwith␈α
you.␈αOne␈α
of␈αmy␈α
biggest␈α"growth"␈α
periods␈αwas␈α
the␈αsummer␈α
of␈α1972,␈α
which␈αI␈α
spent␈αin
␈↓ ↓H␈↓your␈α∪department.␈α∩ I␈α∪could␈α∪visit␈α∩Caltech␈α∪sometime␈α∪this␈α∩Winter,␈α∪to␈α∪give␈α∩a␈α∪colloquium␈α∪on␈α∩my
␈↓ ↓H␈↓dissertation␈α
research.␈α
 I␈α
will␈α
be␈α
in␈α
Anaheim␈αfor␈α
ACM76,␈α
on␈α
February␈α
9-12;␈α
other␈α
than␈α
that,␈αI␈α
have
␈↓ ↓H␈↓no de≡nite commitments yet for February.



␈↓ ↓H␈↓␈↓ εSincerely,






␈↓ ↓H␈↓␈↓ ¬vDoug  Lenat